Merge branch 'inspector-double-border-fixes' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 25 Aug 2020 20:18:47 +0000 (20:18 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 25 Aug 2020 20:18:47 +0000 (20:18 +0000)
inspector: Avoid double borders

See merge request GNOME/gtk!2477


Trivial merge